This Dynamic World is visually beautiful and full of useful knowledge. The book makes plain what has been obscure.

Among several possibilities for what reality could be like in view of the empirical facts of quantum mechanics, one is provided by theories of spontaneous wave function collapse, the best known of which is the Ghirardi–Rimini–Weber theory. We show mathematically that in GRW theory there are limitations to knowledge, that is, inhabitants of a GRW universe cannot find out all the facts true of their universe. As a specific example, they cannot accurately measure the number of collapses that a given (...) physical system undergoes during a given time interval; in fact, they cannot reliably measure whether one or zero collapses occur. Put differently, in a GRW universe certain meaningful, factual questions are empirically undecidable. We discuss several types of limitations to knowledge and compare them with those in other versions of quantum mechanics, such as Bohmian mechanics. Most of our results also apply to observer-induced collapses as in orthodox quantum mechanics. 1 Introduction1.1 Known examples of limitations to knowledge1.2 Remarks2 Brief Review of GRW Theories2.1 The GRW process2.2 GRWm2.3 GRWf3 First Examples of Limitations to Knowledge in GRW Theories4 Measurements of Flashes in GRWf, or of Collapses in GRWm4.1 An example in which ψ is known4.2 Other choices of ψ4.3 Experiments beginning before t24.4 If ψ is random4.5 Optimal way of distinguishing two density matrices4.6 If ψ is unknown5 Measurements of m in GRWmAppendix. (shrink)

To find out more information about Rowman & Littlefield titles please visit us at www.rowmanlittlefield.com.

A concise chronicle of the remarkable life and career of William Temple, Archbishop of York and later of Canterbury, which attempts to focus more sharply and clearly on Temple the man, viewing him as prelate, thinker, prophet-evangelist, and as the example of a modern Saint.

Reviews the scope, nature, and applications of the philosophical discipline, focusing on methods for distinguishing between valid and fallacious arguments and inferences.

ABNER SHIMONY of the Paradox A PHILOSOPHICAL PUPPET PLAY Dramatis personae: Zeno , Pupil, Lion Scene: The school of Zeno at Elea. Pup. Master! ...

There are simple, purely syntactic axiomatic proof systems for both the logical truths and the logical falsehoods of propositional logic. However, to date no such system has been developed for the logical contingencies, that is, formulas that are both satisfiable and falsifiable. This paper formalizes the purely syntactic axiomatic proof systems for the logical contingencies and proves its soundness as well as completeness.

There is currently great controversy over the contribution antimicrobial use in animal agriculture has made to antimicrobial resistance in pathogenic bacteria with negative consequences for human health. In light of this, the approval process for antimicrobials used in US animal agriculture, known as New Animal Drug Application or NADA, is currently being revised by the federal government. We explore the public deliberations over the development of these new policies focusing our attention on the interaction between pharmaceutical companies and the U.S. (...) Food and Drug Administration. What appears to be an antagonistic public discourse is examined in terms of its ability to simultaneously legitimate the roles of the Food and Drug Administration as the official arbiter of policy on antimicrobial use in animal agriculture and as a protector of the public welfare, as well as the role of pharmaceutical companies as the producers of safe and effective products necessary for the protection of public well-being. (shrink)

Does the decision to relax by taking a drive rather than by taking a walk cause harm? In particular, do the additional carbon emissions caused by such a decision make anyone worse off? Recently several philosophers have argued that the answer is no, and on this basis have gone on to claim that act-consequentialism cannot provide a moral reason for individuals to voluntarily reduce their emissions. The reasoning typically consists of two steps. First, the effect of individual emissions on the (...) weather is miniscule: the planet’s meteorological system is so large, and the size of individual emissions so tiny, that whatever impact an individual emission has on the weather must be vanishingly small. Second, vanishingly small impacts aren’t morally relevant because no one could possibly tell the difference between such an impact occurring and it not occurring. In this paper, we show why both steps are mistaken, and hence why act-consequentialism implies that each of us has an individual obligation to do what we can to stop damaging the climate, including by refraining from, or perhaps by purchasing offsets against, our own individual luxury carbon emissions. (shrink)

We show that the implicational fragment of intuitionism is the weakest logic with a non-trivial probabilistic semantics which satisfies the thesis that the probabilities of conditionals are conditional probabilities. We also show that several logics between intuitionism and classical logic also admit non-trivial probability functions which satisfy that thesis. On the other hand, we also prove that very weak assumptions concerning negation added to the core probability conditions with the restriction that probabilities of conditionals are conditional probabilities are sufficient to (...) trivialize the semantics. (shrink)

Conclusions reached using common sense reasoning from a set of premises are often subsequently revised when additional premises are added. Because we do not always accept previous conclusions in light of subsequent information, common sense reasoning is said to be nonmonotonic. But in the standard formal systems usually studied by logicians, if a conclusion follows from a set of premises, that same conclusion still follows no matter how the premise set is augmented; that is, the consequence relations of standard logics (...) are monotonic. Much recent research in AI has been devoted to the attempt to develop nonmonotonic logics. After some motivational material, we give four formal proofs that there can be no nonmonotonic consequence relation that is characterized by universal constraints on rational belief structures. In other words, a nonmonotonic consequence relation that corresponds to universal principles of rational belief is impossible. We show that the nonmonotonicity of common sense reasoning is a function of the way we use logic, not a function of the logic we use. We give several examples of how nonmonotonic reasoning systems may be based on monotonic logics. (shrink)

We prove consistent, assuming there is a supercompact cardinal, that there is a singular strong limit cardinal $\mu$ , of cofinality $\omega$ , such that every $\mu^{+}$ -chromatic graph X on $\mu^{+}$ has an edge colouring c of X into $\mu$ colours for which every vertex colouring g of X into at most $\mu$ many colours has a g-colour class on which c takes every value. The paper also contains some generalisations of the above statement in which $\mu^{+}$ is replaced (...) by other cardinals < $\mu$. (shrink)

In [2] Hempel and Oppenheim give a definition of “explanation” for a certain formal language. In [1] Eberle, Kaplan, and Montague prove five theorems demonstrating that the Hempel and Oppenheim definition is not restrictive enough. In [3] Kim proposes two further conditions to supplement the Hempel and Oppenheim definition in order to avoid the objections posed in [1]. In this paper it is shown that the definition of Hempel and Oppenheim supplemented by Kim's conditions is open to a trivialization very (...) analogous to that given in [1]. (shrink)

Fuzzy logics are systems of logic with infinitely many truth values. Such logics have been claimed to have an extremely wide range of applications in linguistics, computer technology, psychology, etc. In this note, we canvass the known results concerning infinitely many valued logics; make some suggestions for alterations of the known systems in order to accommodate what modern devotees of fuzzy logic claim to desire; and we prove some theorems to the effect that there can be no fuzzy logic which (...) will do what its advocates want. Finally, we suggest ways to accommodate these desires in finitely many valued logics. (shrink)

The paper discusses various relationships between the concepts mentioned in the title. In Section 1 Todorcevic functions are shown to arise from both morasses and square. In Section 2 the theme is of supplements to morasses which have some of the flavour of square. Distinctions are drawn between differing concepts. In Section 3 forcing axioms related to the ideas in Section 2 are discussed.

The usual semantics for the modal systems T, S4, and S5 assumes that the set of possible worlds contains at least one member. Recently versions of these modal systems have been developed in which this assumption is dropped. The systems discussed here are obtained by slightly weakening the liberated versions of T and S4. The semantics does not assume the existence of possible worlds, and the accessibility relation between worlds is only required to be quasi-reflexive instead of reflexive. Completeness and (...) independence results are established. (shrink)

Local connectedness functions for (κ, 1)-simplified morasses, localisations of the coupling function c studied in [M96, §1], are defined and their elementary properties discussed. Several different, useful, canonical ways of arriving at the functions are examined. This analysis is then used to give explicit formulae for generalisations of the local distance functions which were defined recursively in [K00], leading to simple proofs of the principal properties of those functions. It is then extended to the properties of local connectedness functions in (...) the context of κ-M-proper forcing for sucessor κ. The functions are shown to enjoy substantial strengthenings of the properties (particularly the ∆-properties) hitherto proved for both c and for Todorcevic’s ρ-functions in the special case κ = ω1. A couple of examples of the use of local connectedness functions in consort with κ-M-proper forcing are then given. (shrink)

The aim of the paper is to develop the notion of partial probability distributions as being more realistic models of belief systems than the standard accounts. We formulate the theory of partial probability functions independently of any classical semantic notions. We use the partial probability distributions to develop a formal semantics for partial propositional calculi, with extensions to predicate logic and higher order languages. We give a proof theory for the partial logics and obtain soundness and completeness results.

In this paper we examine the thesis that the probability of the conditional is the conditional probability. Previous work by a number of authors has shown that in standard numerical probability theories, the addition of the thesis leads to triviality. We introduce very weak, comparative conditional probability structures and discuss some extremely simple constraints. We show that even in such a minimal context, if one adds the thesis that the probability of a conditional is the conditional probability, then one trivializes (...) the theory. Another way of stating the result is that the conditional of conditional probability cannot be represented in the object language on pain of trivializing the theory. (shrink)

The intuitive notion behind the usual semantics of most systems of modal logic is that of ?possible worlds?. Loosely speaking, an expression is necessary if and only if it holds in all possible worlds; it is possible if and only if it holds in some possible world. Of course, contradictory expressions turn out to hold in no possible worlds, and logically true expressions turn out to hold in every possible world. A method is presented for transforming standard modal systems into (...) systems of modal logic for impossible worlds. To each possible world there corresponds an impossible world such that an expression holds in the impossible world if and only if it does not hold in the possible world. One can then talk about such worlds quite consistently, and there seems to be no logical reason for excluding them from consideration. (shrink)

Almost every formal model of explanation thus far proposed has been demonstrated to be faulty. In this paper, a new model, proposed by Raimo Tuomela, is also demonstrated to be faulty. In particular, one condition of the model is shown to be too restrictive, and another condition of the model is shown to be too permissive.

Let µ be a regular cardinal. In this paper I prove two (forcing) existence results concerning structures governed by two parameters, the cardinal µ and an ordinal ρ less than µ+++. The results improve on theorems from [M*2] where the second parameter was always the cardinal µ++.

After a couple of weeks I eventually got around to reading the preprint and started wondering about recasting the argument in my preferred formalism. I arrogantly assumed that this would allow one to smooth out parts of the proof and simplify the details of the definition of the forcing conditions (at the cost of taking the framework set out in §§1,2 below as given). However when I tried to write things down I found myself, to my chagrin, more or less (...) cornered in making my definitions into most of the intricacies that Friedman had been. I suppose that this shows that the original proof is in some sense the natural one (or one of a family of ‘natural’ ones). Nevertheless I obstinately persisted and this note is the result. (shrink)

Dan Talayco has recently defined the gap cohomology group of a tower in p/fin of height ω1. This group is isomorphic to the collection of gaps in the tower modulo the equivalence relation given by two gaps being equivalent if their levelwise symmetric difference is not a gap in the tower, the group operation being levelwise symmetric difference. Talayco showed that the size of this group is always at least 2N0 and that it attains its greatest possible size, 2N1, if (...) ⋄ holds and also in some generic extensions in which CH fails, for example on adding many Cohen or random reals. In this paper it is shown that there is always some tower whose gap cohomology group has size 2N1. It is still open as to whether there are models in which there are towers whose gap cohomology group has size less than 2ω1. (shrink)